We describe a general problem solving mechanism that is especially suited for performing a particular form of abductive inference, or best-explanation finding. A problem solver embodying this mechanism synthesizes composite hypotheses. It does so by by combining hypothesis parts as a means to the satisfaction of explanatory goals. In this way it is able to arrive at complex, integrated conclusions which are not pre-stored.The intent is to present a computationally-feasible, task-specific problem solver for a particular information processing task which is (...) nevertheless of very great generality. The task is that of synthesizing coherent composite explanatory hypotheses based upon a prestored, and possibly vast collection of hypothesis-generating “concepts”. The authors’ claim is nothing less than to have shown, in a new sense, and surpassing all other work in this area, how it is computationally possible for an agent to come to “know”, based upon the evidence of the case. (shrink)

Red-2 is a computer program for red-cell antibody identification, a piece of "normal science". Abstracting from Red-2, a general problem solving mechanism is described that is especially suited for performing a form of abductive inference or best explanation finding. A problem solver embodying this mechanism synthesizes composite hypotheses by combining hypothesis parts. This is a common task of intelligence, and a component of scientific reasoning. The work addresses the question, 'How is science possible?' by showing how a simple but powerful (...) form of hypothesis synthesis is computationally feasible. (shrink)